Dr. Heather Miller
Assistant Professor, Software and Societal Systems
Contact
Bio
I'm interested in various flavors of distributed and concurrent computation, often from the perspective of programming languages:
- data-centric,
- data-intensive (big data),
- eventually-consistent (edge computing)
A major recurring theme in my work is composability. I seek to enable the construction of complex distributed systems via the composition of well-understood components that are correct by construction.
Some of my projects include programming models and type systems to facilitate the design of new, functional distributed systems, such as , , asynchronous and concurrent programming via , and .
I work on and around the programming language